Merge body blocks in all.css

diff --git a/src/doc/stylesheets/all.css b/src/doc/stylesheets/all.css
index 6c59e53a41449188059264ea4c5ed66f28faa32f..3c0bdc2b20793126397e27e3250ac1718b3edbfa 100644 (file)
--- a/src/doc/stylesheets/all.css
+++ b/src/doc/stylesheets/all.css
@@ -5,10 +5,6 @@ html {
 
 main, #header { width: 900px; }
 
-body {
-  font-family: sans-serif;
-}
-
 * {
   box-sizing: border-box;
 }
@@ -20,6 +16,7 @@ body {
           flex-direction: column;
   -webkit-align-items: center;
           align-items: center;
+  font-family: sans-serif;
 }
 
 a { color: #00ac5b; text-decoration: none; }